Prototyping a Visual Formalism for System Modelling
نویسندگان
چکیده
Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConForm [God93], has been designed, formally speci ed in the Z language, and a prototype is currently being implemented. This paper outlines the design of ConForm, and details experience gained in transforming the formal speci cation into a prototype.
منابع مشابه
An Executable Visual Formalism for Object
Conceptual modeling aims at establishing the conceptual knowledge necessary for proper communication between a development team and users. This paper presents an executable visual formalism for object-oriented conceptual modeling of information systems. This formalism is an integration of the Entity-Relationship approach, Petri nets, relational calculus, and time temporal logic. It supports int...
متن کاملExplicitly Modelling Model Debugging Environments
Programmers spend a large portion of their time debugging the code they write. This is supported by a variety of debugging techniques such as pause/resume, the setting of breakpoints, stepping over functions, etc. Today, modelling and simulation become increasingly important enablers in the development of complex, reactive, often real-time, software-intensive systems, as they allow rapid protot...
متن کاملAutomated Multi - Paradigm Modelling : Meta - Modelling and Graph Transformation
We present Computer Automated Multi-Paradigm Modelling (CAMPaM) (Mosterman and Vangheluwe 2002) for ModelDriven Development based on Meta-Modelling and Graph Transformation. The syntax of a class of models of interest is graphically meta-modelled in an appropriate formalism such as Entity-Relationship Diagrams. From this description of abstract syntax, augmented with concrete (visual) syntax in...
متن کاملImplementation of a Visual DEVS Formalism in Both GenGED and AToM
An implementation of a visual DEVS formalism in two meta-modeling tools, GenGED and AToM is described. In particular an attempt is made to exploit the specialized nature of these tools to build the implementation in as little time as possible. The need for graphical layout, an easy to use user interface, model correctness checking, and generation of DEVS simulation code push these tools to the ...
متن کاملMulti-formalism modelling and model transformation for the design of reactive systems
This paper presents a development process based on modelling, simulation, and code synthesis. The DCharts formalism, a Statecharts variant with extensions, is used to model a small application to demonstrate our approach: a traffic light. The development of this system highlights the use of various formalisms with appropriate supporting tools: AToM3, A Tool for Multi-formalism and Meta-Modellin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994